Formal analysis

Results: 1589



#Item
71Insurance / Knowledge / Valuation / Science / Actuarial science / Intelligence / Formal sciences / Economy / Actuary / Bond duration / G factor / Financial analysis

DecemberJanuaryMortality Experience – The Funnel Effect Defining the Experiment

Add to Reading List

Source URL: www.scor.com

Language: English - Date: 2016-01-21 17:18:58
72Statistics / Formal sciences / Statistical inference / Information / Knowledge / Machine learning / Estimation theory / Regression analysis / Nonparametric statistics / Data mining / Statistical classification / Resampling

2016 Qualifying Examination Topics and Points Summary List B1 Teachers

Add to Reading List

Source URL: tigpbp.iis.sinica.edu.tw

Language: English - Date: 2016-01-30 04:12:17
73Computing / Network architecture / Internet / Computer networking / Routing / Border Gateway Protocol / Convergence / Router / IP forwarding

FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing Yiqing Ren∗ Wenchao Zhou∗ Anduo Wang∗ Limin Jia† Alexander J.T. Gurney∗ Boon Thau Loo∗ Jennifer Rexford‡ ∗

Add to Reading List

Source URL: conferences.sigcomm.org

Language: English - Date: 2011-08-01 22:52:39
74Computing / Formal languages / Data types / Primitive types / Combinatorics / Geocoding / Data / GIS software / ArcGIS / String / Geographic information system / Meter Point Administration Number

GIS III: Advanced GIS Lab 03: Parsing street address strings with Python, geocoding and some simple date-a analysis. Introduction and purpose Street addresses and geocoding (Bolstad, p395-397, An important eleme

Add to Reading List

Source URL: webspace.ship.edu

Language: English - Date: 2016-02-09 15:26:17
75Statistics / Science / Knowledge / Estimation theory / Philosophy of science / Regression analysis / Formal sciences / Scientific method / Prediction / Linear regression / Statistical inference / Economic model

Seven Deadly Sins of Contemporary Quantitative Political Analysis∗ Philip A. Schrodt Department of Political Science Pennsylvania State University University Park, PA 16802

Add to Reading List

Source URL: 7ds.parusanalytics.com

Language: English - Date: 2013-08-21 12:14:18
76Business intelligence / Data analysis / Information technology / Computing / Data management / Big data / Formal sciences / Behavioral analytics / Analytics / Here / Learning analytics

CASE STUDY + How PlayFab solved 3 core data analytics needs and saved 87.5% over DIY with Appuri

Add to Reading List

Source URL: www.appuri.com

Language: English - Date: 2016-08-19 19:13:39
77Software engineering / Object-oriented programming / Computer programming / Computing / Inheritance / Formal concept analysis / Class / Hierarchy / Dependency grammar / Method / Liskov substitution principle

Generating a Catalog of Unanticipated Schemas in Class Hierarchies using Formal Concept Analysis** Gabriela Ar´evaloa,f,∗ , St´ephane Ducassec , Silvia Gordillob,e , Oscar Nierstraszd a FI - Universidad Austral, Avd

Add to Reading List

Source URL: rmod.inria.fr

Language: English - Date: 2015-11-03 10:16:25
78Mathematics / Data / Computing / Cartography / Geographic data and information / Formal methods / Geographic information systems / Algebra / Abstract data type / Spatial analysis / Algebraic specification / Addition

Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine

Add to Reading List

Source URL: mapcontext.com

Language: English - Date: 2008-08-29 21:38:44
79Information science / Information retrieval / Music / Music information retrieval / International Society for Music Information Retrieval / Multimedia / Music technology / Formal sciences / Ethnomusicology / Rhythm / Data analysis / Indigenous music of North America

MINING MUSICAL TRAITS OF SOCIAL FUNCTIONS IN NATIVE AMERICAN MUSIC Daniel Shanahan1 Kerstin Neubarth2 Darrell Conklin3,4 1

Add to Reading List

Source URL: wp.nyu.edu

Language: English - Date: 2016-08-16 16:20:28
80

Kom i FORM (Get in SHAPE) – formal analysis in a challenging pictorial universe The stage setting is outer space – abstracted shapes and razor-sharp precision – how is it possible to give children an immediate exp

Add to Reading List

Source URL: www.bergen.kommune.no

Language: English - Date: 2011-04-14 08:33:42
    UPDATE